Feeds to Scour
SubscribedAll
Scoured 19456 posts in 218.1 ms
Let Lambda Come Over
yamlscript.org·14h
⬆️Lambda Lifting
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🔗Functional Compilers
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🦀Rust Verification
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·3h
🦀Rust Macros
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
🐚Shell Monads
I Built a Programming Language Where think Is a Keyword
dev.to·1h·
Discuss: DEV
🔗Concatenative Programming
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·3h·
Discuss: Hacker News
⚡Incremental Computation
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·56m
📝Concrete Syntax
Build a Compiler in Five Projects
kmicinski.com·9h
🔨Compilers
Agentic Proof-Oriented Programming
risemsr.github.io·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Rebuilding the spellchecker
zverok.space·15m
🌲Parse Trees
Type Variance
en.wikipedia.org·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
codx-dev/msgpacker: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
LLMs could be, but shouldn't be compilers
alperenkeles.com·1d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Logic for Programmers New Release and Next Steps
buttondown.com·3d
⚙️Proof Engineering
Private Data Space Model
privatedata.space·2d
✅Format Verification
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
arxiv.org·2d
📏Linear Logic
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
outer measure in nLab
ncatlab.org·3d
🔢Denotational Semantics

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help